┌────────────────────────────────┐ │ ░░░ ░░▓ ░▓▓ ███ ▓▓░ ▓░░ │ │ ~ M O O N ~ │ └────────────────────────────────┘
prd-web-01.centraldc.gr
LOCATION:
/usr/share/pie/src/Platform/TargetPhp/Exception
☗ ROOT
↻ REFRESH
✎ EDIT FILE
EDITING: ExtensionIsNotLoaded.php
<?php declare(strict_types=1); namespace Php\Pie\Platform\TargetPhp\Exception; use Php\Pie\ExtensionName; use Php\Pie\Platform\TargetPhp\PhpBinaryPath; use RuntimeException; use function sprintf; class ExtensionIsNotLoaded extends RuntimeException { public static function fromExpectedExtension(PhpBinaryPath $php, ExtensionName $extension): self { return new self(sprintf( 'Expected extension %s to be loaded in PHP %s, but it was not detected.', $extension->name(), $php->phpBinaryPath, )); } }
CANCEL
Name
Type
Size
Modified
Actions
↩ ..
DIR
—
—
📄 ExtensionIsNotLoaded.php
PHP
566 B
2026-04-14 00:00
EDIT
📄 ExtensionPathProblem.php
PHP
1023 B
2026-04-14 00:00
EDIT
📄 InvalidPhpBinaryPath.php
PHP
864 B
2026-04-14 00:00
EDIT